1. Quantifier elimination and cylindrical algebraic decomposition
پدیدآورنده : B.F. Caviness, J.R. Johnson (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
